ACKERMAN, NATHANAEL L.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES

ACKERMAN, NATHANAEL, FREER, CAMERON, PATEL, REHANA

Journal:

Forum of Mathematics, Sigma

Year:

2016

Language:

english

File:

PDF, 809 KB

english, 2016

2

Relativized Grothendieck topoi

Nathanael Leedom Ackerman

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 433 KB

english, 2010

3

The number of countable models in realizability toposes

Nathanael Leedom Ackerman

Journal:

Journal of Pure and Applied Algebra

Year:

2012

Language:

english

File:

PDF, 340 KB

english, 2012

4

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Noncomputable Conditional Distributions

Ackerman, Nathanael L., Freer, Cameron E., Roy, Daniel M.

Year:

2011

Language:

english

File:

PDF, 288 KB

english, 2011

5

On Transferring Model Theoretic Theorems of\({\mathcal{L}_{{\infty},\omega}}\)in the Category of Sets to a Fixed Grothendieck Topos

Ackerman, Nathanael Leedom

Journal:

Logica Universalis

Year:

2014

Language:

english

File:

PDF, 574 KB

english, 2014

6

SHEAF RECURSION AND A SEPARATION THEOREM

ACKERMAN, NATHANAEL LEEDOM

Journal:

Journal of Symbolic Logic

Year:

2014

Language:

english

File:

PDF, 450 KB

english, 2014

7

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Feedback Turing Computability, and Turing Computability as Feedback

Ackerman, Nathanael L., Freer, Cameron E., Lubarsky, Robert S.

Year:

2015

Language:

english

File:

PDF, 277 KB

english, 2015

8

Invariant measures via inverse limits of finite structures

Ackerman, Nathanael, Freer, Cameron, Nešetřil, Jaroslav, Patel, Rehana

Journal:

European Journal of Combinatorics

Year:

2016

Language:

english

File:

PDF, 601 KB

english, 2016

9

A classification of orbits admitting a unique invariant measure

Ackerman, Nathanael, Freer, Cameron, Kwiatkowska, Aleksandra, Patel, Rehana

Journal:

Annals of Pure and Applied Logic

Year:

2016

Language:

english

File:

PDF, 925 KB

english, 2016

10

Vaught’s Conjecture Without Equality

Ackerman, Nathanael Leedom

Journal:

Notre Dame Journal of Formal Logic

Year:

2015

Language:

english

File:

PDF, 393 KB

english, 2015

11

Priors on exchangeable directed graphs

Cai, Diana, Ackerman, Nathanael, Freer, Cameron

Journal:

Electronic Journal of Statistics

Year:

2016

Language:

english

File:

PDF, 1.61 MB

english, 2016

12

On computability and disintegration

ACKERMAN, NATHANAEL L., FREER, CAMERON E., ROY, DANIEL M.

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 267 KB

english, 2017

13

Indivisible sets and well‐founded orientations of the Rado graph

Ackerman, Nathanael L., Brian, Will

Journal:

Mathematical Logic Quarterly

Year:

2019

Language:

english

File:

PDF, 251 KB

english, 2019

14

On the Computability of Conditional Probability

Ackerman, Nathanael L., Freer, Cameron E., Roy, Daniel M.

Journal:

Journal of the ACM

Year:

2019

Language:

english

File:

PDF, 882 KB

english, 2019

15

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Algorithmic barriers to representing conditional independence

Ackerman, Nathanael L., Avigad, Jeremy, Freer, Cameron E., Roy, Daniel M., Rute, Jason M.

Year:

2019

Language:

english

File:

PDF, 246 KB

english, 2019

16

INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES

ACKERMAN, NATHANAEL, FREER, CAMERON, PATEL, REHANA

Journal:

Forum of Mathematics, Sigma

Year:

2016

File:

PDF, 809 KB

2016

17

An introduction to feedback Turing computability

Ackerman, Nathanael L, Freer, Cameron E, Lubarsky, Robert S

Journal:

Journal of Logic and Computation

Year:

2020

File:

PDF, 348 KB

2020

18

Encoding Complete Metric Structures by Classical Structures

Ackerman, Nathanael Leedom

Journal:

Logica Universalis

Year:

2020

File:

PDF, 571 KB

2020